Graham Davies

Definable Davies’ Theorem

We prove the following descriptive set-theoretic analogue of a Theorem of R.O. Davies: Every Σ2 function f : R× R → R can be represented as a sum of rectangular Σ2 functions if and only if all reals are constructible.

Profile: James Davies

has provoked a lot of interest and comment. For those who haven't read it, how would you summarise the argument? In a nutshell, I argue that psychiatry over the past 40 years, under the dominance of the medical or 'technological' model, has done a lot of harm in the name of helping vulnerable people. Not intentionally, I hasten to add, but as an outcome of taking the medical model too far. Your...

Graham Lusk *

Non-Bunch-Davies statistical anisotropies

We introduce a generic mechanism that can extend the effects of relic anisotropies at the beginning of inflation to relatively much shorter scales in density perturbations. This is induced by non-Bunch-Davies states of the quantum fluctuations, and can show up in the non-oscillatory components of the density perturbations. This mechanism works for general forms of anisotropies, and, to illustra...

Tim Borer and Thomas Davies

Dirac is a hybrid motion-compensated codec that uses modern techniques such as wavelet transforms and arithmetic coding. It is an open technology which means that it is freely available and can be used without the payment of licence fees. Open technology is well suited to the business model of public service broadcasters as it allows open collaboration by those interested in its future developm...